Engineering Software Lab - PDFSEARCH.IO - Document Search Engine

Engineering Software Lab
Results: 278

#	Item
161	Automated Structural Testing with PathCrawler. Tutorial for QSICExamples. , CEA, LIST, Software Safety Lab Saclay (Paris), France Add to Reading List Source URL: kosmatov.perso.sfr.fr Language: English C++ ALGOL 68 C++ classes Parameter J Software engineering Computer programming Computing
162	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 2, Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Diagrams Binary decision diagram Boolean algebra Model checking Graph theory Graph Directed acyclic graph Prolog Binary relation Mathematics Theoretical computer science Relational model
163	Automated Structural Testing with PathCrawler Tutorial for QSIC 2012 , , CEA, LIST, Software Safety Lab Saclay (Paris), France Add to Reading List Source URL: kosmatov.perso.sfr.fr Language: English Computing Code coverage C White-box testing IEC 61508 Test automation Software testing Software engineering Software
164	IBM Software IBM Software Enterprise Modernization Sandbox for IBM i Lab Exercise Workbook Add to Reading List Source URL: public.dhe.ibm.com Language: English - Date: 2014-07-29 15:48:44 Software engineering Debuggers Breakpoint IBM RPG Debug Program animation Computer programming Computing Debugging
165	RESULT RETRIEVAL INSTRUCTIONS: VISTA (call Patty Koenig, Lab Research Coordinator with questions x58344) 1. From Lab Service Menu, type ‘OUT’ Select Lab Service Menu Option: OUTput Laboratory Results for Providers Add to Reading List Source URL: www.portland.va.gov Language: English - Date: 2011-12-19 12:20:29 Computing Programming language theory ALGOL 68 Software engineering
166	Structural Engineering Software Application September 2, 2008 LAB 1: Steps for Analysis & Design of Beam in SAP2000 Problem Statement: Design Logitudinal and Shear reinforcement for rectangualr Beam with following inp Add to Reading List Source URL: www.enggprog.com Language: English - Date: 2011-12-24 14:32:26 Structural engineering Shear and moment diagram Microsoft Excel Software Engineering Structural system Beam Statics
167	An Active Events Model for Systems Monitoring Philip N. Gross, Suhit Gupta, Gail E. Kaiser, Gaurav S. Kc, Janak J. Parekh {phil, suhit, kaiser, gskc, janak}@cs.columbia.edu Programming Systems Lab, Department of Computer Add to Reading List Source URL: www.psl.cs.columbia.edu Language: English - Date: 2001-10-12 08:30:25 XML Markup languages Cross-platform software Oracle Database XML schema Component-based software engineering Database schema Computing Software engineering Open formats
168	CS 101 Introduction to Computing Lab Handout IV [removed]Date: [removed]Using Text Boxes: Add to Reading List Source URL: suraj.lums.edu.pk Language: English - Date: 2005-02-18 00:51:08 Comparison of programming languages BASIC Linguistics Software engineering Computing INP String
169	A New Compilation Path: From Python/ NumPy to OpenCL Xunhao Li (IBM Software Lab, Canada) Rahul Garg (McGill University) J. Nelson Amaral (University of Alberta) Add to Reading List Source URL: www.dlr.de Language: English - Date: 2011-11-21 19:13:50 Software engineering Graphics hardware Parallel computing Video cards Nvidia OpenCL CUDA OpenMP Graphics processing unit Computing Computer programming GPGPU
170	Introduction to JACK Intelligent Software Agents Michael Papasimeon Intelligent Agent Lab Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2015-02-09 07:50:22 Software engineering Programming language theory Belief–desire–intention model Intelligent agent Software agent Ada Agent-based model ALGOL 68 Belief–desire–intention software model Computing Multi-agent systems Artificial intelligence

UPDATE